Relativizations comparing NP and exponential time
نویسندگان
چکیده
منابع مشابه
Relativizations of P=NP and P6=NP in ARNN Model
We will provide a formalization of the use of real weights in analog recurrent neural networks as a restricted class of oracles, closely related to physical oracles, and prove that the famous P = NP problem relativizes with respect to deterministic and nonderterministic analog recurrent neural networks with real weights working in polynomial time. As a direct consequence, these devices have res...
متن کاملIndependence of P vs. NP in regards to oracle relativizations
Previously in “P is a proper subset of NP” [Meek Article 1 2008] and “Analysis of the Deterministic Polynomial Time Solvability of the 0-1-Knapsack Problem” [Meek Article 2 2008] the present author has demonstrated that some NP-complete problems are likely to have no deterministic polynomial time solution. In this article the concepts of these previous works will be applied to the relativizatio...
متن کاملExploiting structure to cope with NP-hard graph problems : polynomial and exponential time exact algorithms
An ideal algorithm for solving a particular problem always finds an optimal solution, finds such a solution for every possible instance, and finds it in polynomial time. When dealing with NP-hard problems, algorithms can only be expected to possess at most two out of these three desirable properties. All algorithms presented in this thesis are exact algorithms, which means that they always find...
متن کاملComparing Reductions to NP-Complete Sets
Under the assumption that NP does not have p-measure 0, we investigate reductions to NP-complete sets and prove the following: 1. Adaptive reductions are more powerful than nonadaptive reductions: there is a problem that is Turing-complete for NP but not truth-table-complete. 2. Strong nondeterministic reductions are more powerful than deterministic reductions: there is a problem that is SNP-co...
متن کاملSimplicity, Immunity, Relativizations and Nondeterminism
The relation between classes of languages recognized by resource bounded Turing machines remains an evasive subject in computational complexity theory. Especially results settling relationship between deterministic and nondeterministic complexity classes are rare. The interesting case of the relation between the classes of languages recognized by polynomial time bounded deterministic versus pol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1983
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(83)80058-8